Merge branch 'for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 17 Apr 2020 22:11:28 +0000 (22:11 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 17 Apr 2020 22:11:28 +0000 (22:11 +0000)
commit25237095c91c9d55d908a5067f67ab1b24081738
tree5f70f810e2e85228a0776fa9a36411a80c3c39ca
parent3e19b9502dab73b9e6acbe09380eccebf99103be
parentdd23a37ca1ba163edc3c0695008414657c2a6c3d
Merge branch 'for-master' into 'master'

For master

See merge request GNOME/gtk!1708